Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🤝 Consensus Protocols
Raft, PBFT, Byzantine Fault Tolerance, Leader Election
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83000
posts in
1.51
s
Building
Raft
Consensus
Algorithm in Go: Complete Implementation Guide for Distributed Systems
dev.to
·
1d
·
Discuss:
DEV
🤝
Paxos
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
17h
🤝
Paxos
Multi-Paxos
– Consensus in Distributed
Databases
arpitbhayani.me
·
12h
·
Discuss:
Hacker News
🤝
Paxos
Simulating
Leader Election on top of
FoundationDB
pierrezemb.fr
·
2d
🤝
Paxos
Privacy-Preserving Dynamic Average
Consensus
by
Masking
Reference Signals
arxiv.org
·
1d
🤝
Paxos
CP
Systems Explained: The Hidden Cost of Strong
Consistency
dev.to
·
3d
·
Discuss:
DEV
🤝
Paxos
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
1d
·
Discuss:
Hacker News
🏗️
System Design
Dr.
StrangeYAML
or How I Learned to Stop
Worrying
and Love the LLM
yamlscript.org
·
3h
🤖
Local LLMs
Autocrypt
v2 - Post-Quantum and Reliable
Deletion
for Internet Messaging
autocrypt2.org
·
10h
🦋
ATProto
BIP 54: Great Consensus Cleanup soft fork
signet
implementatoin
\ stacker news
stacker.news
·
11h
·
Discuss:
X
🤝
Paxos
USB-C for AI Agents: When Industry
Consensus
Becomes Industry
Constraint
smarterarticles.co.uk
·
1d
🤖
AI Ethics
Building a scalable code
modernization
solution with AWS
Transform
custom
aws.amazon.com
·
10h
🏗️
Build Systems
Part 3:
Exception
Drift
: Where Authority Actually Lives
notsolvingthis.substack.com
·
11h
·
Discuss:
Substack
👷
Worker Self-Management
gRPC Observability: A Guide To Distributed Debugging and Monitoring - Abhishek Agrawal,
Madhav
Bissa
youtube.com
·
2d
🤝
Paxos
Zero
downtime
migration solution (
PostgreSQL
)
reddit.com
·
14h
·
Discuss:
r/django
💾
Local-first Software
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
2d
·
Discuss:
Lobsters
,
Hacker News
🤝
Paxos
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔤
Type Theory
Proteus
: Append-Only
Ledgers
for (Mostly) Trusted Execution Environments
arxiv.org
·
1d
🤝
Paxos
Rethinking Time in
Computation
– From Wall
Clocks
to State Transitions
d1gesto.blogspot.com
·
14h
·
Discuss:
Hacker News
🏗️
System Design
mstrYoda/goraphdb
: A graph database implemented in Golang
github.com
·
14h
·
Discuss:
r/programming
🗂️
Data Structures
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help